home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Source Code / C / Applications / Moscow ML 1.42 / src / compiler / Smlprim.sml < prev    next >
Encoding:
Text File  |  1997-08-18  |  1.5 KB  |  96 lines  |  [TEXT/R*ch]

  1. (* SML primitives *)
  2.  
  3. local
  4.   open Obj Const Prim;
  5. in
  6.  
  7. datatype SMLPrim =
  8.     MLPeq
  9.   | MLPeq_c
  10.   | MLPnoteq
  11.   | MLPnoteq_c
  12.   | MLPref
  13.   | MLPsetref
  14.   | MLPsetref_c
  15.   | MLPadd_int
  16.   | MLPadd_int_c
  17.   | MLPsub_int
  18.   | MLPsub_int_c
  19.   | MLPmul_int
  20.   | MLPmul_int_c
  21.   | MLPdiv_int
  22.   | MLPdiv_int_c
  23.   | MLPmod_int
  24.   | MLPmod_int_c
  25.   | MLPquot_int
  26.   | MLPquot_int_c
  27.   | MLPrem_int
  28.   | MLPrem_int_c
  29.   | MLPeq_int
  30.   | MLPeq_int_c
  31.   | MLPnoteq_int
  32.   | MLPnoteq_int_c
  33.   | MLPlt_int
  34.   | MLPlt_int_c
  35.   | MLPgt_int
  36.   | MLPgt_int_c
  37.   | MLPle_int
  38.   | MLPle_int_c
  39.   | MLPge_int
  40.   | MLPge_int_c
  41.   | MLPadd_real
  42.   | MLPadd_real_c
  43.   | MLPsub_real
  44.   | MLPsub_real_c
  45.   | MLPmul_real
  46.   | MLPmul_real_c
  47.   | MLPdiv_real
  48.   | MLPdiv_real_c
  49.   | MLPlt_real
  50.   | MLPlt_real_c
  51.   | MLPgt_real
  52.   | MLPgt_real_c
  53.   | MLPle_real
  54.   | MLPle_real_c
  55.   | MLPge_real
  56.   | MLPge_real_c
  57.   | MLPlt_string
  58.   | MLPlt_string_c
  59.   | MLPgt_string
  60.   | MLPgt_string_c
  61.   | MLPle_string
  62.   | MLPle_string_c
  63.   | MLPge_string
  64.   | MLPge_string_c
  65.   | MLPadd_word
  66.   | MLPadd_word_c
  67.   | MLPsub_word
  68.   | MLPsub_word_c
  69.   | MLPmul_word
  70.   | MLPmul_word_c
  71.   | MLPdiv_word
  72.   | MLPdiv_word_c
  73.   | MLPmod_word
  74.   | MLPmod_word_c
  75.   | MLPeq_word
  76.   | MLPeq_word_c
  77.   | MLPnoteq_word
  78.   | MLPnoteq_word_c
  79.   | MLPlt_word
  80.   | MLPlt_word_c
  81.   | MLPgt_word
  82.   | MLPgt_word_c
  83.   | MLPle_word
  84.   | MLPle_word_c
  85.   | MLPge_word
  86.   | MLPge_word_c
  87.   | MLPconcat
  88.   | MLPconcat_c
  89.   | MLPprim of int * primitive
  90.   | MLPccall of int * string
  91.   | MLPgv of QualifiedIdent
  92.   | MLPgvt of QualifiedIdent * obj ref
  93. ;
  94.  
  95. end;
  96.